1,188 research outputs found

    Middle-Four Maps and Net Categories

    Full text link
    We briefly relate the existence of a middle-four interchange map in a category with two monoidal structures, to the standard Cockett and Seely notion of a weakly distributive category
    • …
    corecore